منابع مشابه
Japanese pieris toxicosis of goats.
and laboratory findings in small companion animals with lead 6. Watson ADY: 1981, Lead poisoning in a cat. J Small Anim poisoning: 347 cases (1977-1986). Am Vet Med Assoc 199:93Pract 22:85-89. 97. 7. Zook BC, McCowell BS, Gilmore CE: 1970, Basophilic stippling 5. Scott HM: 1963, Lead poisoning in small animals. Vet Rec 75: of erythrocytes in dogs with special reference to lead poisoning. 830-83...
متن کاملCarter–Penrose diagrams and differential spaces
In this paper it is argued that a Carter–Penrose diagram can be viewed as a differential space.
متن کاملApplication of OBDD Diagrams in Verification of Tabular Rule Systems
This paper examines the application of Ordered Binary Decision Diagrams (OBDD) to modelling and verification of quality properties of rule systems. The transformation of an intentional specification of a tabular rule system into OBDD data structures was proposed and techniques of verification of such quality properties as completeness, determinism and redundancy of rules were described.
متن کاملRule-Based Generation of XML Schemas from UML Class Diagrams
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams as the conceptual model that can be represented in XML syntax (XMI). The algorithm we present in the paper is implemented as a set of rules using XSLT stylesheets that transform the UML class diagram into an adequate ...
متن کاملBinary Decision Diagrams as a HOL Derived Rule
Binary Decision Diagrams (BDDs) are a representation for Boolean formulas which makes many operations, in particular tautology-checking, surprisingly e cient in important practical cases. In contrast to such custom decision procedures, the HOL theorem prover expands all proofs out to a sequence of extremely simple primitive inferences. In this paper we describe how the BDD algorithm may be adap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 2018
ISSN: 0012-365X
DOI: 10.1016/j.disc.2018.07.008